polymake.org/workshop-extension
